program semantics造句

Covers theory of computation, but also program semantics and quantification theory.
His main contribution has been in the area of formal program semantics.
Program semantics are generally described using fixed points in the presence of loops or recursive procedures.
For example, in theoretical computer science, least fixed points of monotone functions are used to define program semantics.
If the branch takes an unexpected way, the compiler has already generated compensating code to discard speculative results to preserve program semantics.
It's difficult to find program semantics in a sentence. 用program semantics造句挺难的

The axioms are similar to those use by Dijkstra and Scholten in their monograph " Predicate calculus and program semantics " ( Springer Verlag, 1990 ), but our order of presentation is slightly different.
Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.